1. Automata, languages and programming : Fourth colloquium, University of Turku, Finland, July 18-22, 1977
پدیدآورنده : edited by Arto Salomaa and Magnus Steinby
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
C63
1977
2. Automata, languages and programming: eigth colloquium, Acre )Akko(,Israel, July 13-17, 1981
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computer(
رده :
QA
267
.
5
.
S4
.
I47
1981
3. Automata, languages and programming: seven the colloquium, Noordwijkerhout, Netherlands, July 14-18, 1980
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal language,Congresses ، Programming language )Electronic computers(
رده :
QA
267
.
5
.
S4
.
I47
1980
4. Automata, languages and programming 13th International Colloquium Rennes, France, July 15-19, 1986
پدیدآورنده : edited by Laurent kott
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
226
5. Formal properties of finite automata and applicatins : LITP Spring School of Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : Proceedings
پدیدآورنده : J.E. Pin )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Sequential machine theory
رده :
QA
76
.
L28
Vol
.
386
6. Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Sequential machine theory-- Congresses
رده :
QA
267
.
5
.
S4
.
E26
1988
7. Mathematial systems theory
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، System analysis-- Congresses,، Computer simulation,، Sequential machine theory-- Congresses,، Coding theory-- Congresses
رده :
QA
402
.
C56
8. Mathematical foundations of computer science
پدیدآورنده : edited by A. Blikle
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
267
.
5
.
S4
S89
1974
9. Mathematical foundations of computer science
پدیدآورنده : Edited by G. Goos and J. Hartmanis )and also( Edited by A. Blikle
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
267
.
5
.
S4
S89
1974
10. Mathematical foundations of computer science 1980 : Proceedings of the 9th Symposium held in Rydzyna, Poland, September 1-5, 1980
پدیدآورنده : edited by P. Dembinski
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Machine theory,Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
88
11. Mathematical foundations of computer science, 3rd Symposium at Jadwisin near warsaw, June 17-22, 1974
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal language,Congresses ، Programming )Elrctronic computers(
رده :
QA
267
.
5
.
S4
.
S89
1974
12. Mathematical foundations of computer science, 1975, 4th Symposium, Marianske, Lazne, September 1-5, 1975
پدیدآورنده : Edited by G. Goos and J. Hartmanis
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages
رده :
QA
267
.
5
.
S4
S89
1975
13. Mathematical systems theory ; proceedings of the international symposium Udine, Italy June 16-27 .1975
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، System analysis - congresses,، Sequential machine theory - congresses,، Coding theory congresses
رده :
QA
402
.
C58
1975
14. Sequences, subsequences, and consequences
پدیدآورنده : / Solomon W. Golomb ... [et al.] (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Coding theory, Congresses,Sequences (Mathematics), Congresses,Sequential machine theory, Congresses,Data encryption (Computer science), Congresses
رده :
E-BOOK
15. Symposium on Switching and Automata Theory, 1st- 1960-
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Switching theory-- Congresses,، Sequential machine thoery-- Congresses,، Automata-- Congresses
رده :
QA
268
.
5
.
S9a
16. #Theory of machines and computations
پدیدآورنده : #Edited by Zvi Kohavi and Azaria Paz
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Sequential machine theory -- Congresses ،Formal languages -- Congresses ،Switching theory -- Congresses ،Numerical calculations -- Congresses
رده :
#
QA
،#.
I58
،#
1971
17. Theory of machines and computations; proceedings
پدیدآورنده : Edited by Zvi Kohavi and Azaria Paz
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Switching theory,Congresses ، Numerical calculations
رده :
QA
266
.
I58
1971
18. Theory of machines and computations; proceedings
پدیدآورنده : International Symposium on the Theory of Machines and Computations )1791: Haifa, Israel(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Sequential machine theory-- Congresses,، Formal languages-- Congresses,، Switching theory-- Congresses,، Numerical calculations-- Congresses
رده :
QA
266
.
I58
1971
